Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
261	MemoryUsage(Two-StateLRUvsNativeLRU).eps Add to Reading List Source URL: jeapostrophe.github.io Language: English - Date: 2016-02-18 16:47:50 Software engineering Control flow Continuations Delimited continuation Call-with-current-continuation Lambda calculus
262	Secrecy Despite Compromise: Types, Cryptography, and the Pi-Calculus Andrew D. Gordon1 and Alan Jeffrey2? 1 2 Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:36:25 Computability theory Lambda calculus Theoretical computer science Regression analysis Computer science Mathematics Classical cipher
263	Dynamic Information Flow Analysis for Featherweight JavaScript Technical Report #UCSC-SOEThomas H. Austin UC Santa Cruz Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2011-11-15 10:51:13 Software engineering Computer programming Computing Subroutines Lambda calculus Functional programming Data types JavaScript Eval Anonymous function Scope Substitution
264	A categorical and graphical treatment of closure conversion Ralf Schweimeier, University of Sussex Alan Jeffrey, University of Sussex and DePaul University COGS, University of Sussex Brighton BN1 9QH, UK CTI, DePaul Univ Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:35:33 Software engineering Declarative programming Lambda calculus Computer programming Functions and mappings Subroutines Functional programming Charts Graph of a function Closure Function Lambda lifting
265	On the confluence of lambda-calculus with conditional rewriting Frédéric Blanqui (INRIA) ∗ Claude Kirchner (INRIA) Colin Riba (LIP - ENS Lyon) ‡ Add to Reading List Source URL: perso.ens-lyon.fr Language: English - Date: 2013-01-22 07:43:44
266	A connection between lambda calculus and maps Noam Zeilberger1 MSR-Inria Joint Centre OBT Workshop, Mumbai Add to Reading List Source URL: noamz.org Language: Polish - Date: 2015-01-20 11:11:29
267	A CPS-like Transformation of Continuation Marks Kimball R. Germane A thesis submitted to the faculty of Brigham Young University Add to Reading List Source URL: jeapostrophe.github.io Language: English - Date: 2016-02-18 16:47:50 Control flow Subroutines Computability theory Theoretical computer science Functional programming Continuation-passing style Lambda calculus Continuation Direct style Eval Stack Static single assignment form
268	Gundersen, T., Heijltjes, W. and Parigot, MAtomic lambda-calculus : A typed lambda-calculus with explicit sharing. In: Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE, pp. 31 Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2014-06-28 10:09:38
269	Temporal Higher-Order Contracts Tim Disney Cormac Flanagan Jay McCarthy Add to Reading List Source URL: jeapostrophe.github.io Language: English - Date: 2016-02-18 16:47:50 Lambda calculus Combinatory logic Logic in computer science Computability theory Functions and mappings Formal methods Monad Derivative Trace
270	A fully abstract semantics for a higher-order functional language with nondeterministic computation A LAN J EFFREY A BSTRACT. This paper is about the relationship between the theory of monadic types and the practice of c Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:36:48 Category theory Models of computation Adjoint functors Functional programming Logic in computer science Denotational semantics Lambda calculus Cartesian closed category Sheaf F-algebra Kleisli category Monad

UPDATE